all:
	llvm-gcc -I/home/xyj/research/klee/klee/include -g --emit-llvm -c *.c
	llvm-ld *.o -o test
run:
	klee --libc=uclibc --search=guided-path --file-name=/home/xyj/research/klee-guided/experiment/test_gp/test.c --line-num=29 test.bc
oldrun:
	klee --libc=uclibc test.bc
clean:
	rm -rf *.o klee-* *.bc test bench_test *.ll
